<%--
  Created by IntelliJ IDEA.
  User: LENOVO
  Date: 2018/5/27
  Time: 17:55
  To change this template use File | Settings | File Templates.
--%>
<%@ page contentType="text/html;charset=UTF-8" language="java" %>
<%@ page import="Filter.TimeFilter" %>
<html>
<head>
    <title>6章第5题</title>
</head>
<body>
<%
    TimeFilter.Timer timer = (TimeFilter.Timer)request.getAttribute(TimeFilter.s);
    if(timer != null) {
        timer.stop();
    }
%>

<%
    timer.getTime();
%>

</body>
</html>
